Buy Used and New Dilian Gurov Books

Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers: 7421 (Lecture Notes in Computer Science)

by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov

ISBN 13: 9783642317613

Format: Paperback (264 pages)
Publisher: Springer
Published: 19 Jul 2012

Save for later